catastro相关论文
二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不......
对现有悬挂结构动力分析模型作了改进,引入了悬挂子结构的随动刚度,将子结构对主结构的非线性驱动力添加到运动方程中。用数值解法......
